Key: "S:" = Show Synset (semantic) relations, "W:" = Show Word (lexical) relations
Display options for sense: (gloss) "an example sentence"
Noun
S: (n) propositional logic, propositional calculus (a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them)